101. Computational Semantics with Functional Programming
پدیدآورنده: / Jan Van Eijck and Christina Unger
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه‌نویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)
رده :
QA76
,.
7
.
E43
2010
102. Computational semantics with functional programming
پدیدآورنده: \ Jan van Eijck and Christina Unger.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Programming languages (Electronic computers)-- Semantics.,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه نویسی کامپیوتر -- معنی شناسی ,زبان های برنامه نویسی تابعی -- علوم کامپیوتر,(هسکل(زبان برنامه نویسی کامپیوتر
رده :
QA
76
.
7
.
E35C6
2010
E-Book
,
103. Computational semantics with functional programming /
پدیدآورنده: Jan van Eijck and Christina Unger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
E43
2010eb
104. Computer-aided design of language processors
پدیدآورنده: Shangin, V. F.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Translators )Computer programs(,، Computer-aided software engineering,، Programming languages )Electronic computers(
رده :
QA
76
.
76
.
T83
S53
105. Computer languages
پدیدآورنده: / by the editors of Time-Life Books
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers)
رده :
QA
76
.
7
.
C648
1986
106. Computer methods in mathematics
پدیدآورنده: / (by) Robert L. Albrecht, Eric Lindberg (and) Walter Mara
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Mathematics -- Data processing,Computers,Programming languages (Electronic computers)
رده :
QA
76
.
5
.
A368
107. Computer programming languages
پدیدآورنده: / Neville J. Ford
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers)
رده :
QA
76
.
7
.
F65
1990
108. Computer programming systems
پدیدآورنده: / (by) F. Peter Fisher (and) George F. Swindle
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming,Programming languages (Electronic computers)
رده :
QA
76
.
5
.
F4
109. Computer science
پدیدآورنده: Cardenas, Alfonso F.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital Computers,، Programming languages )Electronic Computers(
رده :
QA
76
.
5
.
C365
110. Computer science
پدیدآورنده: Cardenas , Alfonso F.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
C365
111. Computer science question bank
پدیدآورنده: Basandra, Suresh K.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computers,، Electronic data processing,، Programming Languages )Electronic Computers(
رده :
QA
76
.
B3
1996
112. Computer science reader :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
QA76
.
24
C667
2013
113. Computer semantics; studies of algorithms, processors, and languages
پدیدآورنده: Lee, John A. N.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Algorithms,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
6
.
L38
114. Computers and computer languages
پدیدآورنده: Silverman, Gordon
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
S5524
115. Computers and languages: Theory and Practice
پدیدآورنده: Anton, Nijholt
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Electronic digital computers- Programming,Programming language (Electronic Computer)
رده :
QA
،
76
.
6
،.
N55
،
1988
116. Computers and languages : theory and practice
پدیدآورنده: Anton Nijholt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
N55
1988
117. Computing in systems described by equations
پدیدآورنده: O'Donnell, Michael J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Interpreters )Computer programs(,، Equations
رده :
QA
76
.
L4
v
.
58
118. Computing in systems described by equations
پدیدآورنده: O'Donnell, Michael J
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Equations
رده :
QA
76
.
5
.
O3
119. Computing in systems described by equations
پدیدآورنده: Michael J.O'Donnell
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Interpreters )Computer programs(,، Equations,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
58
120. Concepts in user interfaces : a reference model for command and response languages
پدیدآورنده: by members of IFIP Working Group 2.7 ; edited by David Beech
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Programming languages )Electronic computers(,، User interfaces )Computer systems(
رده :
QA
76
.
L4
v
.
234
